commit | b9d9d90d180cf21baeeb16bd89828d25c7901470 | [log] [tgz] |
---|---|---|
author | Junio C Hamano <gitster@pobox.com> | Wed May 23 07:07:42 2018 |
committer | Junio C Hamano <gitster@pobox.com> | Wed May 23 07:07:42 2018 |
tree | a40241052af8d4f5543b66581e3f0235cfae0af3 | |
parent | ccb8252b46bfba5daf0cfcedaf0f9d2e14ba356f [diff] [blame] |
Autogenerated HTML docs for v2.17.0-775-ge144d
diff --git a/git-shell.txt b/git-shell.txt index 54cf256..11361f3 100644 --- a/git-shell.txt +++ b/git-shell.txt
@@ -62,8 +62,8 @@ If a `no-interactive-login` command exists, then it is run and the interactive shell is aborted. -EXAMPLE -------- +EXAMPLES +-------- To disable interactive logins, displaying a greeting instead: